- reasoning by elimination
__noun__analysis of a problem into alternative possibilities followed by the systematic rejection of unacceptable alternatives•__Syn__: ↑elimination•__Hypernyms__: ↑analysis, ↑analytic thinking

*Useful english dictionary.
2012.*

### Look at other dictionaries:

**elimination**— noun 1. the act of removing or getting rid of something (Freq. 3) • Syn: ↑riddance • Derivationally related forms: ↑rid (for: ↑riddance), ↑eliminate • … Useful english dictionary**Optional Protocol to the Convention on the Elimination of All Forms of Discrimination against Women**— OP CEDAW Optional Protocol to the Convention on the Elimination of All Forms of Discrimination against Women Signed 6 October 1999[1] Location New York[1] Effective 22 December 2000[2] Conditi … Wikipedia**Disjunction elimination**— Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia**analytic thinking**— noun the abstract separation of a whole into its constituent parts in order to study the parts and their relations • Syn: ↑analysis • Ant: ↑synthesis (for: ↑analysis) • Derivationally related forms: ↑analytic … Useful english dictionary**Natural deduction**— In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia**Outline of logic**— The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia**Propositional calculus**— In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia**Bayesian network**— A Bayesian network, Bayes network, belief network or directed acyclic graphical model is a probabilistic graphical model that represents a set of random variables and their conditional dependencies via a directed acyclic graph (DAG). For example … Wikipedia**education**— /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… … Universalium**Automated theorem proving**— (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia